- intensional object
- интенсиональный объект
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
intensional object
Смотреть что такое "intensional object" в других словарях:
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
Object of the mind — An object of the mind is an object which exists in the imagination, but which, in the real world, can only be represented or modeled. Some such objects are mathematical abstractions, literary concepts, or fictional scenarios. Closely related are… … Wikipedia
Frege–Church ontology — The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church[1] based on ideas of… … Wikipedia
Church Frege ontology — The Church Frege Ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church [ Church, Alonzo. A… … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Ontology components — Contemporary ontologies share many structural similarities, regardless of the language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Contents 1 Overview 2 Individuals … Wikipedia
Datalog — is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
